Constructible number

Results: 311



#Item
41Algebra / Mathematical logic / Mathematics / Algebraic logic / Fuzzy logic / MV-algebra / Many-valued logic / Constructible universe / Lie algebras / Boolean algebra / Ordinal number / CurryHoward correspondence

The logic of quasi true Antonio Di Nola1 , Revaz Grigolia2 and Giacomo Lenzi1 1 2

Add to Reading List

Source URL: logica.dmi.unisa.it

Language: English - Date: 2015-05-18 15:13:07
42Hypothesis testing / Uniformly most powerful test / Statistics / Statistical hypothesis testing / Ordinal number / Constructible universe / Statistical power / Scientific method / Measurement

Recap ... Karlin-Rabin ......

Add to Reading List

Source URL: genome.sph.umich.edu

Language: English - Date: 2013-04-10 14:39:29
43General topology / Net / Constructible universe / Ordinal number / NC / Window function

Intrinsic universality in tile self-assembly requires cooperation Pierre-Etienne Meunier∗ Matthew J. Patitz†

Add to Reading List

Source URL: www.eecs.tufts.edu

Language: English - Date: 2013-11-14 23:09:13
44Transcendental numbers / Circuit complexity / NC / Closed and exact differential forms / Constructible universe / Ordinal number / Ordinal arithmetic / Ostrowski numeration

On Cobham’s theorem for Gaussian integers Wieb Bosma∗, Robbert Fokkink, and Thijmen Krebs † June 2014

Add to Reading List

Source URL: www.math.ru.nl

Language: English - Date: 2014-10-29 10:35:56
45Probability distributions / Matrix theory / Orthogonal polynomials / Linear algebra / Bessel function / Fourier analysis / Laguerre polynomials / Positive-definite matrix / Eigenvalues and eigenvectors / Normal distribution / Constructible universe / Relationships among probability distributions

On the condition number of the critically-scaled Laguerre Unitary Ensemble Percy Deift∗ , Govind Menon† and Thomas Trogdon∗,0 ∗ Courant Institute of Mathematical Sciences

Add to Reading List

Source URL: www.dam.brown.edu

Language: English - Date: 2015-07-13 14:51:17
46Algebra / Abstract algebra / Mathematics / Algebraic structures / Semigroup theory / Lattice theory / Constructible universe / Semigroup / Monoid / Ordinal number / Semilattice / Congruence lattice problem

C:/My Files/texpapers/some finitary conditions for inverse monoids/axiomatizability30072012.dvi

Add to Reading List

Source URL: www-users.york.ac.uk

Language: English - Date: 2012-07-31 03:23:31
47Mathematics / Algebra / Model theory / Abstract algebra / Universal algebra / Age / Structure / Quasigroup / Constructible universe / Ordinal number / Isomorphism / Presentation of a group

A GEOMETRIC ZERO-ONE LAW ROBERT H. GILMAN, YURI GUREVICH, AND ALEXEI MIASNIKOV Abstract. Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. If x is an element of X

Add to Reading List

Source URL: www.math.stevens.edu

Language: English - Date: 2008-11-13 12:34:40
48Formal methods / Logic in computer science / Vienna Development Method / Functional analysis / General topology / Wellfoundedness / Satisfiability modulo theories / First-order logic / Constructible universe / F-algebra / Ordinal number / Sequence

PDF Document

Add to Reading List

Source URL: www.kroening.com

Language: English - Date: 2015-02-13 06:17:10
49Forcing / Partition of a set / Constructible universe / Ordinal number / Segmentation / Partition / Mathematics / Mathematical logic / Combinatorics

Braids of Partitions Bangalore Ravi Kiran, Jean Serra To cite this version: Bangalore Ravi Kiran, Jean Serra. Braids of Partitions. 2015.

Add to Reading List

Source URL: hal.archives-ouvertes.fr

Language: English - Date: 2015-03-23 06:35:46
50Constructible universe / Mathematics / Mathematical analysis / Probability theory / Connection / Curvature / Ordinal number / Topology / First uncountable ordinal

FOUNDATIONS FOR OPTIMAL INATTENTION ANDREW ELLIS (JOB MARKET PAPER) Abstract. This paper models an agent who has a limited capacity to pay attention to information and thus conditions her actions on a coarsening of the a

Add to Reading List

Source URL: www2.warwick.ac.uk

Language: English - Date: 2014-03-14 05:33:51
UPDATE